جستجوی استاد راهنمای دانشگاهی

Anders Blomdellمشاهده پروفایل

استاد

• Control Systems
• Real-Time Systems
• Embedded Systems
• +۷ مورد دیگر

Anders Blomdell is a Professor in the Department of Control Engineering at the Faculty of Engineering, Lund University. His work bridges theoretical control systems with practical applications in real-time, embedded, and cloud-based environments. He is actively involved in research projects focusing on autonomous systems, industrial automation, and networked control. His research interests include Control Systems , Real-Time and Embedded Systems , Networked Control , Industrial Automation , Robotics , and Cloud-Controlled Systems . These areas reflect his focus on scalable, adaptive, and secure control solutions for complex, interconnected systems. The recent publications highlight a strong trend toward event-based control , large-scale optimization , autonomous adaptation , and secure cloud integration . His work often combines control theory with computer science, particularly in distributed and real-time settings, showing a consistent effort to address challenges in latency, scalability, and robustness. Scientific Awards: Advising and Grants: While specific students are not listed, Anders Blomdell leads and participates in major research initiatives such as WASP, ELLIIT, and the Nordic University Hub on Industrial Internet of Things (HI2OT). These projects involve significant funding and collaboration with industry and academia, indicating active mentorship and leadership in training next-generation researchers. Labs and Teams: He is associated with RobotLab LTH and contributes to the development of tools like TrueTime and LabComm , which are widely used in real-time and networked control research. His work supports both academic and industrial innovation in automation and intelligent systems.

Catalin Hritcuمشاهده پروفایل

دانشیار

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +۱۳ مورد دیگر

Catalin Hritcu is a Tenured Faculty member at the Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), where he leads the Formal Security Verification group. He is also an APL Professor at the Faculty of Computer Science and a member of the Horst Görtz Institute for IT Security. His research lies at the intersection of programming languages, formal methods, and cybersecurity, with a strong emphasis on building verifiably secure systems. His research focuses on formal methods for security , including secure compilation, compartmentalization, memory safety, and information flow control. He also works extensively on programming languages , particularly program verification, proof assistants, dependent types, formal semantics, and property-based testing. His applied work involves the design and verification of security-critical systems , such as compilation chains, reference monitors, tagged architectures, and high-assurance cryptography. The 15 most recent articles reflect a consistent trajectory toward machine-checked secure compilation, with a focus on mitigating undefined behavior in C through compartmentalization. His work bridges theory and practice, using formal semantics and proof assistants like F* to verify real-world systems. Key themes include software fault isolation, tagged architectures, capability machines, and scalable verification techniques for realistic languages. Scientific awards include: ERC Starting Grant for formally secure compilation Distinguished Paper Award at CSF 2019 Distinguished Paper Award at CSF 2021 Catalin Hritcu has held leadership roles in major academic venues: he is Chair of the Steering Committee of the Certified Programs and Proofs (CPP) conference, founder of the Principles of Secure Compilation (PriSC) workshop, and has served as Track PC Chair for CCS 2024, PC and Conference Chair for CPP 2020–2021, and General Chair of EuroS&P 2017. He has received competitive research grants such as the ERC Starting Grant, which supports high-risk, high-reward research in secure compilation. He leads the Formal Security Verification group at MPI-SP, which conducts cutting-edge research in secure compilation and formal verification. The group actively contributes to the development of verification tools like F* and SECOMP, and collaborates with leading institutions including Inria, Microsoft Research, and academic partners in Europe and the US.

Erich Schikutaمشاهده پروفایل

دانشیار

• Cloud Computing
• Information and Database Systems
• Parallel and Distributed Computing
• +۳ مورد دیگر

Erich Schikuta is an associate professor at the University of Vienna's Faculty of Computer Science and heads the Research Group Workflow Systems and Technology. He has held multiple administrative roles, including Vice Dean and Curricular Commission Head. His research focuses on Cloud Computing, Parallel/Distributed Systems, Neural Networks, and Database Systems, with over 200 peer-reviewed publications. Education: Studied Computer Science, Business Informatics, and Mathematics at the University of Technology Vienna and University of Vienna. Holds titles including Dipl.-Ing., Dr., and Berufstitel Universitätsprofessor (2009). Research interests emphasize Utility Computing, Cloud Resource Optimization, and Neural Network Simulation. Notable contributions include ranking 25th globally in Cloud Computing productivity and developing frameworks like N2Sky for neural network-as-a-service. Key awards include the 2011 Best Paper Award and 2010 Best Teacher Award. Active in international collaborations, he serves as a European Commission evaluator (FP5-FP7/H2020) and chairs program committees. Labs/Teams: Leads the Research Group Workflow Systems and Technology. Involved in projects like BIG-Business (Grid Infrastructure) and 'Änderung in kollab.Prozessen' (2011-2016).

José María Gutiérrez Martínezمشاهده پروفایل

دانشیار

• Mobile Computing
• Artificial Intelligence
• Computer Science Education
• +۵ مورد دیگر

José María Gutiérrez Martínez is an Associate Professor in the Department of Computer Science at the University of Alcalá. He is part of the PMI (Intelligent Mobile Platforms) research group, focusing on mobile computing, AI, and educational technology. His work integrates interdisciplinary approaches, including IoT, gamification, and healthcare IT. He holds a Doctorate from the University of Alcalá with a thesis on intelligent agents for internet-based learning systems (2006). His academic contributions span over 50 publications since 2017, addressing challenges in accessibility, mobile applications, and sustainable technologies. Research interests include: 1) Developing accessible mobile applications for diverse users, 2) AI-driven solutions for healthcare and education, 3) Optimizing lighting systems for energy efficiency, and 4) Gamification strategies in university environments. Recent projects include ESCOGPT (AI-powered search tools) and μDevOps (cybersecurity microservices). His work bridges theory and practice through collaborations with industry partners. Ongoing efforts focus on applying machine learning to environmental conservation and improving workplace ergonomics via IoT systems.

• Blockchain Technology
• Data Analytics
• Cybersecurity
• +۷ مورد دیگر

Salvador Sánchez Alonso is a Professor at the Department of Computer Languages and Systems, Universidad de Alcalá. He holds a PhD from Universidad Politécnica de Madrid (2005) under Dr. Miguel Ángel Sicilia Urbán. His research focuses on blockchain technology, cybersecurity, linked data, healthcare informatics, and educational technology. He actively contributes to the I4 research group (Intelligence, Innovation, Internet, and Information), exploring topics like privacy-preserving systems, social network analysis, and open data principles. His work bridges theoretical advancements with practical applications, such as predictive modeling for healthcare innovation, quality assessment of educational resources, and decentralized identity systems. Recent publications highlight innovations in quantum software measurement, KlimaDAO analysis, and ethical AI traceability. He has also explored the impact of political events on social networks and hospital resource management through predictive analytics. Key contributions include frameworks for metadata quality in digital repositories, interlinking educational data with the Web of Data, and applying blockchain for secure metadata deployment. His research often intersects interdisciplinary domains, emphasizing social data visualization and user-centric repository design.

Paris Fokaidesمشاهده پروفایل

دانشیار

• Sustainable Energy Technologies
• Energy Assessment of the Built Environment
• Renewable Energy Systems
• +۵ مورد دیگر

Dr. Paris Fokaides is an Associate Professor at the Department of Mechanical Engineering, Frederick University’s School of Engineering. He leads the Sustainable Energy Research Group (SERG), focusing on sustainable energy technologies, energy assessment of the built environment, and alignment with UN Sustainable Development Goals (SDGs). His work emphasizes renewable energy integration, smart building design, and energy efficiency in Mediterranean climates. Research interests include: Energy-efficient building technologies Smart cities and digital twins Climate change adaptation strategies Circular economy applications in construction He has pioneered Industry 4.0 applications in building energy performance, waste-to-energy solutions, and solar energy optimization for industrial sectors. Key contributions include developing the Smart Readiness Indicator (SRI) framework and advancing energy policies for nearly-zero energy buildings (nZEB). His interdisciplinary approach bridges engineering, environmental science, and public policy to address global sustainability challenges. Publications focus on digital twin technologies, energy policy analysis, and building sustainability assessments. Current projects explore AI-driven energy audits, urban climate adaptation plans, and lifecycle assessments for bio-based materials.

Victor Raskinمشاهده پروفایل

استاد

• Linguistic Theory
• Semantic Theory
• Natural Language Processing
• +۵ مورد دیگر

Victor Raskin is a Distinguished Professor of English and Linguistics at Purdue University with a career spanning multiple continents and disciplines. He serves as Editor-at-Large for HUMOR: International Journal of Humor Research and is a Charter Member of Purdue's CERIAS advisory board. Education 1970: Ph.D. in Structural, Computational, and Mathematical Linguistics (Moscow State University) 1966: M.A./M.S. summa cum laude in Structural and Computational Linguistics (Moscow State University) 1964: B.A./B.S. in Structural and Computational Linguistics (Moscow State University) His research integrates linguistic theory with practical applications in natural language processing , focusing on ontological semantics and computational meaning representation . He has pioneered interdisciplinary approaches connecting humor theory with formal linguistic frameworks. Key publication trends show consistent contributions to computational semantics since the mid-1990s, with notable work on lexical knowledge acquisition , language-based security systems , and philosophical foundations of linguistics . His 2004 collaboration on ontological semantics established a comprehensive framework for NLP systems.

Gunter Mussbacherمشاهده پروفایل

دانشیار

• Software Engineering
• Requirements Engineering
• Model-Driven Engineering
• +۵ مورد دیگر

Gunter Mussbacher is an Associate Professor in the Department of Electrical & Computer Engineering at McGill University, where he has held the William Dawson Scholar position since 2017 and the INRIA International Chair since 2021. His research focuses on requirements engineering, model-driven development, and sustainability engineering. He has contributed significantly to standards like the User Requirements Notation (URN) and has led initiatives in standardization through ITU-T roles. Education: Ph.D. in Computer Science (2010, University of Ottawa), MSc (1999, Simon Fraser University), and undergraduate studies at Technische Universität Graz. Professional activities include organizing major conferences like RE 2022 (Program Co-Chair), ICT4S 2023 (General Co-Chair), and serving on steering committees for RE conferences and MoDRE workshops. Research Interests: Goal-oriented requirements engineering, aspect-oriented modeling, sustainability in software systems, and human values in technology. His work emphasizes practical applications in crisis management, regulatory compliance, and model-driven tools like jUCMNav and TouchCORE. Awards include the Most Effective Reviewer Award at RE 2019 and Best Paper at ICMT 2018. He has authored over 100 publications in top venues like IEEE RE, MODELS, and ACM/IEEE conferences. Current activities include advancing AI-driven modeling tools and promoting sustainability in software engineering.

Melvin G. McInnisمشاهده پروفایل

استاد

• Bipolar Disorder
• Depression
• Psychiatry
• +۴ مورد دیگر

Melvin G. McInnis, MD, FRCPsych is the Thomas B and Nancy Upjohn Woodworth Professor of Bipolar Disorder and Depression, holding joint appointments as Professor of Psychiatry and Professor of Learning Health Sciences at the University of Michigan Medical School. He also serves as Program Director of Bipolar Psychiatry and Center Member at the Center for Computational Medicine and Bioinformatics and Eisenberg Family Depression Center. His research focuses on bipolar disorder pathophysiology, genetic mechanisms, and clinical informatics innovations. Key areas of investigation include mood disorder biomarkers, lithium responsiveness, and computational approaches to psychiatric knowledge integration. Recent work has explored the intersection of circadian rhythms, genetic factors, and clinical outcomes in bipolar populations. McInnis leads the Prechter Bipolar Research Program, investigating how personality traits and polygenic risks influence disease progression. His interdisciplinary collaborations span psychiatry, neurobiology, and bioinformatics, with notable contributions to understanding SARS-CoV-2's impact on lithium toxicity in bipolar patients. McInnis actively mentors trainees and directs translational research initiatives aimed at improving mood disorder diagnosis and treatment. Research achievements include developing novel mood instability prediction methods and advancing ontology-driven psychiatric data systems. His work bridges clinical practice with cutting-edge genomic and neuroimaging technologies to address unmet needs in severe mental health conditions.

Georgios Bouloukakisمشاهده پروفایل

استادیار

• IoT Middleware
• Edge Computing
• Distributed Systems
• +۳ مورد دیگر

Georgios Bouloukakis is an Assistant Professor at the Department of Electrical and Computer Engineering, University of Patras, Greece. Previously, he was an Associate Professor at Télécom SudParis/IP Paris (2020-2025) and held a postdoctoral position at University of California, Irvine (2017-2020). He completed his PhD in Computer Science at Sorbonne University/INRIA Paris in 2017, focusing on IoT middleware and QoS analysis. His research spans IoT middleware, edge computing, distributed systems, and smart spaces. He has coordinated 1 EU project as Scientific Coordinator and led 4 EU projects as Principal Investigator. Education: PhD in Computer Science (2017) - Sorbonne/UPMC, INRIA Paris MSc in Computer Science (2012) - University of Crete BSc in Informatics & Telecommunications (2009) - University of Peloponnese Research Interests: - IoT middleware design - Edge computing frameworks - QoS-aware distributed systems - Smart space interoperability - Cybersecurity in IoT - Urban IoT planning Notable Achievements: Best Paper Awards at SEAMS 2025, PerCom 2022, ICIOT 2018 Recipient of INRIA@SiliconValley Postdoctoral Fellowship (2018-2019) Over 100 peer-reviewed publications and 5 major middleware prototypes (e.g., SmartParcels, SemIoTic, PrioDeX) Labs/Teams: Interactive Technologies Lab at University of Patras, previously contributed to INRIA's MiMove and ARLES teams.

• Health Informatics
• Biomedical Informatics
• Electronic Health Records
• +۶ مورد دیگر

Erik Sundvall is an Adjunct Associate Professor at the Department of Biomedical Engineering (IMT), Linköping University, Sweden. He is affiliated with the Division of Biomedical Engineering (MT), a national center for research and innovation in biomedical engineering. His work is primarily focused on health informatics, especially electronic health records and openEHR standards. Research Interests: Erik Sundvall's research lies at the intersection of healthcare and information technology. He investigates methods for improving the accessibility, reliability, and performance of electronic health record systems. His work emphasizes openEHR-based modeling, querying large-scale clinical data using distributed systems like Hadoop, and developing benchmark datasets such as ORBDA to evaluate EHR server performance. These efforts contribute to safer, more interoperable, and scalable digital health infrastructures. The recent publications reflect a consistent focus on health informatics, particularly in advancing openEHR adoption, optimizing query mechanisms, and advocating for strategic investment in e-health at national and international levels. His collaborative work spans technical innovation and policy-oriented discourse. Scientific Contributions: Developed ORBDA, a benchmark dataset for evaluating EHR server performance. Explored Dewey-encoded querying of openEHR models using Hadoop for scalability. Contributed to educational strategies for learning openEHR standards. Advocated for international collaboration and national investment in e-health. Advising and Grants: While no formal students or grants are listed in the provided materials, his active research output and leadership in publications suggest involvement in research projects and potential supervision within the biomedical engineering domain at Linköping University. Further details on funding sources or mentored students are not available in the current text. Labs and Teams: Erik Sundvall is part of the Division of Biomedical Engineering (MT) at Linköping University, which functions as a national hub for research, PhD training, and innovation in biomedical engineering. His work likely involves collaboration within interdisciplinary teams focused on health informatics and digital healthcare solutions.

Will Stylerمشاهده پروفایل

دانشگاهی

• Acoustic Phonetics
• Articulatory Phonetics
• Speech Perception
• +۱۴ مورد دیگر

Will Styler is an Associate Teaching Professor in the Department of Linguistics at the University of California San Diego (UCSD), where he also serves as Director of the Computational Social Science (CSS) Program. He specializes in computational approaches to speech, speech technologies, and innovative teaching methods in linguistics, with a strong interest in open scholarship, open tools, and the linguistics of internet culture, including memes. Current Position: Associate Teaching Professor, UCSD Linguistics (2023–Present) Previous Position: Assistant Teaching Professor, UCSD Linguistics (2018–2023) Director, UCSD Computational Social Science Program (2022–Present) Ph.D. in Linguistics, University of Colorado Boulder (2015) His research spans acoustic and articulatory phonetics , natural language processing , and pedagogy , with a focus on speech perception, machine learning applications in phonetics, and trauma-informed, equitable teaching practices. He is a strong advocate for open-access educational resources and open-source software in linguistics. His recent publications reflect a strong trend in computational phonetics , speech processing , and clinical NLP , often combining experimental methods with machine learning. Themes include pause articulation, vowel nasality, coarticulation, and annotation of clinical texts. Scientific Awards: UC San Diego Student Centeredness Award (2024) UC San Diego Legacy Lecture Award (2022) UCSD Linguistics Graduate Student Recognition of Faculty Excellence (2021–22) University of Colorado Graduate Student Teaching Excellence Award (2012–13) Will Styler has advised numerous doctoral and honors students in linguistics, cognitive science, psychology, and computational social science. He has secured grant funding from NSF and UCSD, focusing on speech perception and detection technologies. He leads the CSS program, mentors capstone projects, and develops open educational tools such as Using Praat for Linguistic Research , Using Unix for Linguistic Research , and the EnronSent Corpus . He is actively involved in academic service, including as Site Coordinator for NACLO, Faculty Tech Mentor during the pandemic, and Cyber Champion at UCSD. His lab and team work intersect across phonetics, NLP, and social science, promoting interdisciplinary collaboration through the CSS program.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Theorem Proving
• Runtime Verification
• Formal Methods
• +۳ مورد دیگر

Giles Reger is a Senior Lecturer in the School of Computer Science at the University of Manchester , affiliated with the Formal Methods Group . His academic journey includes a BA in Computer Science from the University of Cambridge (2009), an MSc in Advanced Computer Science (University of Manchester, 2010) with the Highest Achiever of the Year Award , and a PhD (University of Manchester, 2014) on runtime verification. Research Interests: Theorem Proving (via Vampire system) and Runtime Verification (via MarQ and VyPR tools). Collaborations: Projects with University of Oxford, ARM, AWS, CERN, and SnT Luxembourg. Recent Work: Giles' publications span 2019-2016, focusing on Vampire's higher-order reasoning, symmetry avoidance in finite model finding, neural guidance in theorem proving, and runtime verification for Python web services (VyPR2). Trends include integrating machine learning with formal methods and advancing logic-based verification tools. Scientific Awards: Highest Achiever of the Year Award (MSc, University of Manchester, 2010) Vampire's multiple trophies at CASC and SMT-COMP competitions Advising: Supervises PhD students Michael Rawson, Ahmed Bhayat, and Joshua Dawes. Labs/Teams: Contributes to the Vampire team and the VyPR project.

Alex Gabrielمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Extended Reality
• Virtual Reality
• +۵ مورد دیگر

Alex Gabriel is an Associate Professor at the University of Lorraine, affiliated with the National School of Engineering in Systems and Innovation (ENSGSI) and the Research Team on Innovative Processes (ERPI). His work bridges the gap between engineering and digital innovation, with a focus on developing tools for creativity and innovation processes. His research interests span across several cutting-edge domains including Artificial Intelligence, Extended Reality, Knowledge Engineering, and Innovation Processes. Gabriel's work particularly emphasizes the application of AI technologies (ontology, machine learning, neural networks) to enhance creativity support systems and innovation management. His expertise extends to the design of embedded electronic systems, development of data processing programs, and deployment of web services for laboratory tools. Recent publication trends show a strong focus on XR technologies, with numerous papers on virtual reality applications in education, design, and healthcare. His work demonstrates a consistent trajectory from foundational research on creativity support systems toward practical applications of immersive technologies in professional training and educational contexts. Gabriel has been particularly active in developing authoring tools for XR content, with multiple related publications in 2024-2025. As a researcher and educator, Gabriel has been instrumental in developing the HELP XR platform, which includes both web and VR components for creating educational content. His work connects theoretical research with practical applications, particularly in engineering education and professional training contexts. His collaborative approach is evident in his numerous multi-author publications spanning multiple institutions and disciplines, reflecting his engagement with interdisciplinary research communities focused on innovation processes and digital transformation.

Amal Alhosbanمشاهده پروفایل

دانشیار

• Service Computing
• Semantic Web Services
• Cloud Computing
• +۱۲ مورد دیگر

Dr. Amal Alhosban is an Associate Professor of Computer Science and the Director of the Computing Division at the College of Innovation & Technology, University of Michigan-Flint. She holds a PhD in Computer & Information Science from Wayne State University and has been a faculty member at UM-Flint since 2014. Research Interests: Dr. Alhosban specializes in Service Computing, Semantic Web Services, Cloud Computing, Enterprise Architecture, Data Mining, and AI applications in education and digital systems. Her interdisciplinary work bridges computer science with real-world applications in e-commerce, cybersecurity, sustainability, and digital marketing. Recent Research Trends: Her recent publications (2021–2025) reflect a growing focus on artificial intelligence in education (e.g., ChatGPT for EFL writing), usability and refactoring in mobile apps, cybersecurity threats in digital marketing, green technologies, and digital twins in industrial systems. She integrates AI, cloud, and data mining techniques to solve complex societal and technical challenges. Scientific Awards: Lucinda Hinsdale Stone Senior Faculty Award MWIN Fellowship (2024) Generative AI Award (2024) Teaching Cycle Award (2024) Internationalization Award (2025) Advising and Grants: Dr. Alhosban is the Principal Investigator for the ongoing research grant The Impact of Algorithmic Bias on Social Equity funded by the Institute for Society and Technology (IST) in 2025. She has also served as Co-PI on the START grant (2023). While no formal advisees are listed, she supervises independent graduate studies (CSC 591) and mentors students through research projects and conference publications. Labs and Teams: As Director of the Computing Division, she leads academic and research initiatives in computer science at UM-Flint. She collaborates with national and international researchers and contributes to interdisciplinary teams in AI, cybersecurity, and sustainable technology development.